Variability Attribution for Automated Model Building
نویسندگان
چکیده
منابع مشابه
Automated Model Building
Preface On the history of the book: In the early 1990s several new methods and perspectives in automated deduction emerged. We just mention the superposition calculus, meta-term inference and schematization, deductive decision procedures, and automated model building. It was this last field which brought the authors of this book together. In 1994 they met at the Conference on Automated Deductio...
متن کاملGeneralized Physical Networks for Automated Model Building
We present a new knowledge representation and reasoning framework for modeling nonlinear dynamical systems. The goals of this framework are to smoothly incorporate varying levels of domain knowledge and to tailor the reasoning methods and hence the search space — accordingly. Our solution exploits generalized physical networks (GPN), a rneta-level representation of idealized two-terminal elemen...
متن کاملAn automated framework for QSAR model building
BACKGROUND In-silico quantitative structure-activity relationship (QSAR) models based tools are widely used to screen huge databases of compounds in order to determine the biological properties of chemical molecules based on their chemical structure. With the passage of time, the exponentially growing amount of synthesized and known chemicals data demands computationally efficient automated QSA...
متن کاملVisual automated macromolecular model building
Automated model-building software aims at the objective interpretation of crystallographic diffraction data by means of the construction or completion of macromolecular models. Automated methods have rapidly gained in popularity as they are easy to use and generate reproducible and consistent results. However, the process of model building has become increasingly hidden and the user is often le...
متن کاملAutomated Attribution and Intertextual Analysis
In this work, we employ quantitative methods from the realm of statistics and machine learning to develop novel methodologies for author attribution and textual analysis. In particular, we develop techniques and software suitable for applications to Classical study, and we illustrate the efficacy of our approach in several interesting open questions in the field. We apply our numerical analysis...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The AAPS Journal
سال: 2019
ISSN: 1550-7416
DOI: 10.1208/s12248-019-0310-5